COMMENT ⊗   VALID 00005 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%  using plain tex
C00003 00003	\centerline{\bf Biography of John McCarthy}
C00010 00004	\bigbreak\centerline{\bf Publications}\nobreak\smallskip
C00028 00005	\vfill\eject\bye
C00029 ENDMK
C⊗;
%  using plain tex

\mag=\magstep1
\hsize=6.0 true in
\vsize=8.50 true in 
\voffset= .25 true in
\hoffset= .5 true in
\raggedbottom
\overfullrule=0pt

\def\beginlsverbatim{
\begingroup
\parindent0pt
\parskip 0pt plus 1pt
\def\par{\leavevmode\endgraf}
\obeylines
\obeyspaces
}
\def\endlsverbatim{\endgroup}

\centerline{\bf Biography of John McCarthy}
\medskip

\noindent
Biographical sketch:

        John McCarthy is Professor of Computer Science at Stanford
University.  He has been interested in artificial intelligence since
1949 and coined the term in 1955.  His main artificial intelligence
research area has been the formalization of common sense knowledge.
He invented the LISP programming language in 1958, developed the concept of
time-sharing in the late fifties and early sixties, and has worked on
proving that computer programs meet their specifications since the early sixties.
His most recent theoretical development is the circumscription method
of non-monotonic reasoning since 1978.  McCarthy received the A. M. Turing
award of the Association for Computing Machinery in 1971 and was elected
President of the American Association for Artificial Intelligence for
1983-84.  He received the first Research Excellence Award of the
International Joint Conference on Artificial Intelligence in 1985
and the Kyoto Prize of the Inamori Foundation in November 1988.

\bigskip

\beginlsverbatim
BORN:
        September 4, 1927 in Boston, Massachusetts

EDUCATION:
        B.S.  (Mathematics) California Institute of Technology, 1948
        Ph.D. (Mathematics) Princeton University, 1951

HONORS AND SOCIETIES:
        American Academy of Arts and Sciences
        American Society for the Advancement of Science
        American Mathematical Society
        Association for Computing Machinery
        IEEE
        Sigma Xi
        Sloan Fellow in Physical Science, 1957-59
        ACM National Lecturer, 1961
        A. M. Turing Award from Association for Computing Machinery, 1971
        Editorial Board, Artificial Intelligence Journal, 1975 - present
        Academic Advisor, National Legal Center for Public Information, 1976 - 1980
        Board of Directors, Information International, Inc., 1962 - present.
        Board of Directors, Inference Corporation, 1983 - present.
	Board of Directors, Mad Intelligent Systems, 1987 - present.
        Sigma Xi National Lecturer, 1977
        Fellow, Center for Advanced Study in the Behavioral Sciences, 1979 - 1980.
        President, American Association for Artificial Intelligence, 1983-84
	Research Excellence Award, International Joint Conference on Artificial
Intelligence, 1985
	Elected to National Academy of Engineering, 1987
	Kyoto Prize, 1988

PROFESSIONAL EXPERIENCE:
\nobreak%
        Procter Fellow, Princeton University, 1950-51
        Higgins Research Instructor in Mathematics,
                Princeton University, 1951-53
        Acting Assistant Professor of Mathematics,
                Stanford University, Sept. 1953 - Jan. 1955
        Assistant Professor of Mathematics, Dartmouth
                College, Feb. 1955 - June 1958
        Assistant Professor of Communication Science,
                M.I.T., 1958 - 1961
        Associate Professor of Communication Science,
                M.I.T., 1961 - 1962
        Professor of Computer Science
                Stanford University, 1962 - present
        Director, Artificial Intelligence Laboratory
                Stanford University, 1965 - 1980
	Charles M. Pigott Professor of Engineering, Stanford University, from 1987
	Bobby R. Inman Professor of Computer Science, University of Texas, Fall 1987

PROFESSIONAL RESPONSIBILITIES AND SCIENTIFIC INTERESTS:
\nobreak%
        With Marvin Minsky organized and directed the Artificial
                Intelligence Project at M.I.T.
        Organized and directed Stanford Artificial Intelligence Laboratory
        Developed the LISP programming system for computing with
                symbolic expressions, participated in the development
                of the ALGOL 58 and the ALGOL 60 languages.  Present
                scientific work is in the fields of Artificial
                Intelligence, Computation with Symbolic Expressions,
                Mathematical Theory of Computation, Time-Sharing computer
                systems, formalization of non-monotonic reasoning,
		parallel symbolic computation.

\endlsverbatim
\bigbreak\centerline{\bf Publications}\nobreak\smallskip
\begingroup
\parindent0pt

{\bf McCarthy, John (1951)}: ``Projection Operators and Partial Differential
Equations'' Ph.D.  Thesis, Princeton University.

{\bf McCarthy, John (1952)}: ``A Method for the Calculation of Limit Cycles by
Successive Approximation'' in {\it Contributions to the Theory of Nonlinear
Oscillations II}, Annals of Mathematics Study No. 29, Princeton University,
pp. 75-79.

{\bf McCarthy, John (1953)}: ``An Everywhere Continuous Nowhere Differentiable
Function,'' {\it American Mathematical Monthly}, December 1953, p. 709.

{\bf McCarthy, John (1954)}:  ``A Nuclear Reactor for Rockets'' {\it Jet Propulsion},
January 1954.

{\bf McCarthy, John (1955)}:  ``The Stability of Invariant Manifolds'' Applied
Mathematics Laboratory Technical Report No. 36, Stanford University, 25
pp.

{\bf McCarthy, John (1956)}:  ``The Inversion of Functions Defined by Turing
Machines,'' in {\it Automata Studies, Annals of Mathematical Study No. 34,}
Princeton, pp. 177-181.

{\bf McCarthy, John (1956)}:  ``Aggregation in the Open Leontief Model,''
in Progress Report of Dartmouth Mathematics Project.

{\bf McCarthy, John (1956)}:  ``Measures of the Value of Information,''
{\it Proceedings of the National Academy of Sciences}, September 1956.

{\bf McCarthy, John (1956)}:  Co-editor with Dr. Claude E. Shannon of {\it Automata
Studies}, Annals of Mathematics Study No. 34, Princeton University Press.

{\bf McCarthy, John (1959)}: ``Programs with Common Sense'', in {\it
Proceedings of the Teddington Conference on the Mechanization of
Thought Processes}, Her Majesty's Stationery Office, London.
%  common[e80,jmc],
% common.tex[e80,jmc]

{\bf McCarthy, John (1960)}: ``Recursive Functions of Symbolic Expressions and their
Computation by Machine,'' {\it Comm. ACM}, April 1960.

{\bf McCarthy, John (with 12 others) (1960)} ``ALGOL 60'', {\it Numerische
Mathematik}, March 1960, also in {\it Comm. ACM}, May 1960 and Jan. 1963.

{\bf McCarthy, John (1961)}: ``A Basis for Mathematical Theory of Computation'',
in {\it Proc.  Western Joint Computer Conf.}, May 1961, pp. 225-238.
Later version in Braffort, P. and D. Hirschberg (eds.) {\it Computer
Programming and Formal Systems}, North-Holland Publishing Co. (1963).

{\bf McCarthy, John (1962)}: ``Time-Sharing Computing Systems,'' in {\it Management
and the Computer of the Future}, Martin Greenberger (ed.), MIT Press.

{\bf McCarthy, John (with Paul Abrahams, Daniel Edwards, Timothy
Hart and Michael Levin) (1962)}: 
{\it LISP 1.5 Programmer's Manual}, M.I.T. Press, Cambridge, Mass.

{\bf McCarthy, John (1962)}: ``Computer Programs for Checking Mathematical
Proofs'', {\it Amer. Math. Soc. Proc. of Symposia in Pure Math.}, Vol. 5.

{\bf McCarthy, John (1963)}: ``Towards a Mathematical Theory of Computation'',
in Proc.  IFIP Congress 62, North-Holland, Amsterdam.

{\bf McCarthy, John (1963)}: ``A Basis for a Mathematical Theory of Computation'', 
in P. Braffort and D. Hirschberg (eds.), {\it Computer Programming and
Formal Systems}, North-Holland Publishing Co., Amsterdam, pp. 33-70.

{\bf McCarthy, John (1963)}: ``A Time-Sharing Debugging System for a Small
Computer'', (with Boilen, Fredkin and Licklider), Proc. AFIPS 1963 Spring
Joint Computer Conf., Sparten Books, Detroit, pp. 51-57.

{\bf McCarthy, John (1963)}: ``The Linking Segment Subprogram Language and
Linking Loader Programming Languages'', Comm. ACM, July 1963.  (with F.
Corbato and M. Daggett),

{\bf McCarthy, John (1965)}: ``Problems in the Theory of Computation'', in Proc.
IFIP Congress 65, Spartan, Washington, D.C..

{\bf McCarthy, John  (1966)}: ``A Formal Description of a Subset of Algol'',
{\it Formal Language Description Languages for Computer Programming},
T.B. Steel, Jr. (ed.), North-Holland Publ. Co., Amsterdam, pp. 1-12.

{\bf McCarthy, John (1968}:  ``Time-Sharing Computer Systems'', in
{\it Conversational Computers}, William Orr (ed), Wiley Publishing Company.

{\bf McCarthy, John (1966)}:  ``Information'', {\it Scientific
American}, Vol. 215, No. 9.

{\bf McCarthy, John (1967)}:  ``Correctness of a Compiler for Arithmetic
Expresions'' (with James Painter),
{\it Proceedings of Symposia in Applied Mathematics, Volume XIX},
American Mathematical Society.

{\bf McCarthy, John (1967)}:  ``THOR - A Display Based Time-Sharing System'', 
(with D. Brian, G. Feldman, and John Allen)
{\it AFIPS Conf. Proc.}, Vol. 30, (FJCC) Thompson, Washington, D.C..

{\bf McCarthy, John (1967)}:  ``Computer Control of a Hand and Eye'', in {\it Proc.
Third All-Union Conference on Automatic Control (Technical Cybernetics)},
Nauka, Moscow, (Russian).

{\bf McCarthy, John (1968)}:  ``Programs with Common Sense,'' in M. Minsky (ed.), 
{\it Semantic Information Processing}, M.I.T. Press, Cambridge, Mass.

{\bf McCarthy, John (1968)}:  ``A Computer with Hands, Eyes, and Ears,'' 
(with L. Earnest, D. Reddy, P. Vicens) 
{\it Proc. AFIPS Conf.} (FJCC).

{\bf McCarthy, John and P.J. Hayes (1969)}:  ``Some Philosophical Problems from
the Standpoint of Artificial Intelligence'', in D. Michie (ed), {\it Machine
Intelligence 4}, American Elsevier, New York, NY.
%  phil.tex[ess,jmc] with slight modifications

{\bf McCarthy, John (1972)}:  ``The Home Information Terminal,'' Man and Computer, 
in Proceedings International Conference, Bordeaux 1970, S. Karger, N.Y.

{\bf McCarthy, John (1973)}:  ``Mechanical Servants for Mankind,'' in {\it Britannica 
Yearbook of Science and the Future}.

{\bf McCarthy, John (1974)}:
Book Review: ``Artificial Intelligence: A General Survey'' by Sir James
Lighthill, in {\it Artificial Intelligence}, Vol. 5, No. 3.
% LIGHT.RE5[ESS,JMC] 25-Jul-75	Lighthill review

{\bf McCarthy, John (1974)}:  ``Modeling Our Minds'' in {\it Science Year 1975, The
World Book Science Annual}, Field Enterprises Educational Corporation,
Chicago, ILL.

{\bf McCarthy, John (1976)}:  ``The Home Information Terminal,'' invited presentation, 
AAAS Annual Meeting, Feb. 18-24, 1976, Boston.

{\bf McCarthy, John (1976)}:  ``An Unreasonable Book,'' a review of {\it Computer
Power and Human Reason}, by Joseph Weizenbaum (W.H. Freeman and Co., San
Francisco, 1976) in {\it SIGART Newsletter 58}, June 1976, also in {\it Creative
Computing}, Chestnut Hill, Massachusetts, 1976 and in ``Three Reviews of Joseph
Weizenbaum's {\it Computer Power and Human Reason}'', (with Bruce
Buchanan and Joshua
Lederberg), Stanford Artificial Intelligence Laboratory Memo 291, Computer
Science Department, Stanford, CA.

{\bf McCarthy, John (1977)}:
Review: {\it Computer Power and Human Reason}, by Joseph Weizenbaum (W.H.
Freeman and Co., San Francisco, 1976) in {\it Physics Today}.

{\bf McCarthy, John (1977)}:
``The Home Information Terminal'' {\it Grolier Encyclopedia}.

{\bf McCarthy, John (1977)}:
``On The Model Theory of Knowledge'' (with M. Sato, S. Igarashi, and
T. Hayashi), {\it Proceedings of the Fifth International Joint Conference
on Artificial Intelligence}, M.I.T., Cambridge, Mass.

{\bf McCarthy, John (1977)}:
``Another SAMEFRINGE'', in {\it SIGART Newsletter} No. 61, February 1977.
%  samefr[f76,jmc]

{\bf McCarthy, John (1977)}:
``History of LISP'', in Proceedings of the ACM Conference on the
History of Programming Languages, Los Angeles.
%  lisp[f77,jmc]

{\bf McCarthy, John (1977)}:
``Epistemological Problems of Artificial Intelligence'', {\it Proceedings
of the Fifth International Joint Conference on Artificial 
Intelligence}, M.I.T., Cambridge, Mass.
%  ijcai.c[e77,jmc]

{\bf McCarthy, John (1979)}:
``Ascribing Mental Qualities to Machines'' in {\it Philosophical Perspectives 
in Artificial Intelligence}, Ringle, Martin (ed.), Harvester Press, July 1979.
%  .<<aim 326, MENTAL[F76,JMC],
% mental.tex[f76,jmc]>>

{\bf McCarthy, John (1979)}: 
``First Order Theories of Individual Concepts and Propositions'', 
in Michie, Donald (ed.) {\it Machine Intelligence 9}, (University of
Edinburgh Press, Edinburgh).
%  .<<aim 325, concep.tex[e76,jmc]>>

{\bf Cartwright, Robert and John McCarthy (1979)}:
``Recursive Programs as Functions in a First Order Theory'',
in {\it Proceedings of the International Conference on Mathematical Studies of
Information Processing}, Kyoto, Japan.
%  .<<aim 324, FIRST.NEW[W77,JMC]>>

{\bf McCarthy, John (1980)}: 
``Circumscription - A Form of Non-Monotonic Reasoning'', {\it Artificial
Intelligence}, Volume 13, Numbers 1,2, April.
%  .<<aim 334, circum.new[s79,jmc], cirnew.tex[s79,jmc]>>

{\bf McCarthy, John and Carolyn Talcott (1980)}: {\it LISP - Programming and
Proving}, course notes, Stanford University. (to be published as a book).

%  .<<The references in this bibliography (BIOJMC[1,JMC]) should be in a
%  .uniform style, because I often copy them to papers.  The last few are
%  .correct.  The publication in italics and first names spelled out.
%  .>>

{\bf McCarthy, John (1982)}: ``Common Business Communication Language'', in
{\it Textverarbeitung und B\"urosysteme}, Albert Endres and J\"urgen Reetz, eds.
R. Oldenbourg Verlag, Munich and Vienna 1982.
%  cbcl[f75,jmc]

{\bf McCarthy, John (1982)}: {\it Coloring Maps and the Kowalski Doctrine},
Report No. STAN-CS-82-903, Computer Science Department, Stanford University,
Stanford, CA 94305.
%  maps[e81,jmc]

{\bf McCarthy, John (1983)}: ``AI Needs more Emphasis on Basic Research'', {\it AI
Magazine}, Volume 4, Number 4, Winter 1983.
%  presid.1[f83,jmc]

{\bf McCarthy, John (1983)}: ``Some Expert Systems Need Common Sense'',
in {\it Computer Culture: The Scientific, Intellectual and Social Impact
of the Computer}, Heinz Pagels, ed.
 vol. 426, Annals of the New York Academy of Sciences.
%paper
%presented at New York Academy of Sciences Symposium.
%  common[e83,jmc]
%common.tex[e83,jmc]

{\bf McCarthy, John (1983)}: ``The Little Thoughts of Thinking Machines'',
{\it Psychology Today}, Volume 17, Number 12, December 1983.
%  psycho.4[e83,jmc]

{\bf Gabriel, Richard and  John McCarthy (1984)}:
``Queue-based Multi-processing Lisp''
in {\it Proceedings of the 1984 ACM Symposium on Lisp and Functional Programming},
August 1984.

{\bf McCarthy, John (1986)}:
``Applications of Circumscription to Formalizing Common Sense Knowledge''
{\it Artificial Intelligence}, April 1986
%  circum.tex[f83,jmc]

{\bf McCarthy, John (1987)}:
``Review of {\it Artificial Intelligence --- The Very Idea} by John
Haugeland'' to appear in {\it SIAM News}.
% haugel[f86,jmc]

{\bf McCarthy, John (1987)}:
``Generality in Artificial Intelligence'', {\it Communications of the ACM}.
Vol. 30, No. 12, pp. 1030-1035
% genera[w86,jmc]

{\bf McCarthy, John (1987)}:
``Mathematical Logic in Artificial Intelligence'', in
 {\it Daedalus}, vol. 117, No. 1, American Academy of Arts and Sciences,
Winter 1988.
% logic.2[w87,jmc]

{\bf McCarthy, John (1988)}:
``Artificial Intelligence'', for {\it Collier's Encyclopedia}.
% artifi.3[w88,jmc]

\endgroup
\vfill\eject\bye